<html>
<body>
Unit tests for the definition commands.
</body>
</html>